University of Leicester - PDFSEARCH.IO - Document Search Engine

University of Leicester
Results: 445

#	Item
41	CASE STUDY: University Hospitals of Leicester NHS Trust Add to Reading List Source URL: intellicentrics-live.s3.amazonaws.com Language: English - Date: 2016-02-22 09:54:31
42	SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Tom Ridge1 David Sheets2 Thomas Tuerk3 Andrea Giugliano1 Anil Madhavapeddy2 Peter Sewell2 1 University of Leicester 2 Universi Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2015-10-06 13:24:19 Computing Software System software Application programming interfaces Rename Symbolic link POSIX File system permissions Hard link File locking File system Tar
43	Games and Synthesis Nir Piterman University of Leicester Telč, July-Autugst 2014 Games and Synthesis, EATCS Young Researchers School, Telč, Summer 2014 Add to Reading List Source URL: eatcs-school.fi.muni.cz Language: English - Date: 2014-08-25 12:26:55 Theoretical computer science European Association for Theoretical Computer Science Fellows of the Royal Society Model checking Alan Turing
44	EPISTEMIC UPDATES ON ALGEBRAS ALEXANDER KURZ AND ALESSANDRA PALMIGIANO Department of Computer Science, University of Leicester, Leicester, UK Faculty of Technology, Policy and Management, Delft University of Technology, Add to Reading List Source URL: www.appliedlogictudelft.nl Language: English - Date: 2014-05-02 09:13:12
45	OUTLINE PROGRAMME URBAN BIRDS: pressures, processes and consequences BOU Annual Conference \| University of Leicester, UK \|5 – 7 April 2016 \| Twitter #BOU2016 • Add to Reading List Source URL: www.bou.org.uk Language: English - Date: 2015-10-09 08:08:17
46	#DMUglobal STUDENT AGREEMENT PARTIES University name and address De Montfort University of The Gateway, Leicester, LE1 9BH. Add to Reading List Source URL: www.dmuglobal.com Language: English - Date: 2014-11-20 11:34:47
47	A (Very Short) Guide to ABM (and Qualitative Data) Edmund Chattoe-Brown () Department of Sociology, University of Leicester Add to Reading List Source URL: modellingonthemove.org Language: English - Date: 2013-04-15 05:07:54
48	ORAL ABSTRACTS URBAN BIRDS: pressures, processes and consequences BOU Annual Conference \| University of Leicester, UK \| 5 – 7 April 2016 \| #BOU2016 Add to Reading List Source URL: www.bou.org.uk Language: English - Date: 2016-02-04 07:17:28
49	Algorithmic nominal game semantics A. S. Murawski⋆ and N. Tzevelekos⋆⋆ 1 Department of Computer Science, University of Leicester University Road, Leicester LE1 7RH, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-01-18 19:24:34
50	XXV IAMHIST CONFERENCE: Childhood and the Media University of Leicester, UK, 17-20 July 2013 Wednesday 17 JulyREGISTRATION Ken Edwards Building Seminar Room. WELCOME AND INTRODUCTORY COMMENT Add to Reading List Source URL: iamhist.org Language: English - Date: 2013-07-05 05:18:11

UPDATE